gtkwidget: Remove dead code
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 23 Jun 2020 09:15:04 +0000 (11:15 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 24 Jun 2020 08:47:15 +0000 (10:47 +0200)
commit29d054c421cb03ac51ff4bb86ab573e72610775f
tree339b620edc355901d2f15146db79d5ac0ec8e994
parent7be6afe84dffbc23ac7aa842bf543d38d348953a
gtkwidget: Remove dead code

This variable got unused over time.
gtk/gtkwidget.c